Pour une théorie critique de la gouvernance algorithmique et de l’intelligence artificielle

Dans une perspective dialectique, cet article cherche à saisir les fondements sociohistoriques des catégories centrales qui sont mobilisées dans le domaine de l’intelligence artificielle : la communication, la commande, le contrôle et l’information. L’intention est de poser les bases conceptuelles de l’élaboration d’une théorie critique de la gouvernance algorithmique en montrant comment les développements contemporains de l’intelligence artificielle participent d’une disqualification de la lettre au profit du nombre, c’est-à-dire à la substitution de la langue par le code (informatique). Au plan sociopolitique, cette mutation conduit à la mise en place d’une nouvelle forme algorithmique de régulation de la pratique sociale, la gouvernance algorithmique, qui repose sur un processus d’automatisation de la production de connaissances.From a dialectical perspective, this article seeks to grasp the socio-historical foundations of the central categories mobilized in the field of artificial intelligence: communication, command, control and information. The intention is to lay the conceptual foundations for a critical theory of algorithmic governance by showing how contemporary developments in artificial intelligence encourage the numerical to the detriment of the linguistic, i.e. by replacing language with (computer) code. At the socio-political level, this change is producing a new algorithmic form of social regulation, algorithmic governance, which is based on automating the production of knowledge.Desde una perspectiva dialéctica, este artículo analiza los fundamentos socio-históricos de las categorías centrales que se consideran en el campo de la inteligencia artificial: comunicación, encargo, control e información. El objetivo es establecer las bases conceptuales para la elaboración de una teoría crítica de la gobernanza algorítmica, mostrando cómo los desarrollos contemporáneos de la inteligencia artificial participan en una descalificación de la letra en favor del número; es decir, la sustitución del lenguaje por el código (informático). A nivel sociopolítico, esto implica la implementación de una nueva forma algorítmica de regulación de la práctica social, la gobernanza algorítmica, que se basa en un proceso de automatización de la producción de conocimiento

Logique algorithmique et reproduction sociétale : les médiations sociales saisies par les algorithmes

Dans la foulée des travaux critiques sur le Big Data (Mondoux et Ménard, 2018), l’économie de l’attention (Citton, 2014) et la gouvernementalité algorithmique (Rouvroy et Berns, 2013), ce numéro thématique de Tic & société porte sur l’analyse du phénomène des données massives en tant que dispositif algorithmique de collecte et d’accumulation de celles-ci, permettant leur traitement par des mécanismes d’intelligence artificielle (IA) tels que l’apprentissage-machine, l’apprentissage-profond, l..

Localisation de fonctionnalités par analyse statique dans du code avionique configuré dynamiquement

RÉSUMÉ La localisation de l'emplacement où diverses fonctionnalités d'un logiciel sont implémentées au sein du code source peut être utile à la compréhension de programme et pour diverses activités de réingénierie. Dans l'industrie avionique, la réingénierie est un sujet d'actualité puisque plusieurs systèmes logiciels doivent être modernisés. Or, cette réingénierie doit conserver la richesse algorithmique des logiciels existants. Les travaux présentés dans ce mémoire visent donc à appuyer les efforts de réingénierie en avionique via l'utilisation d'une méthodologie de localisation de fonctionnalités à partir de l'analyse statique du code source. Le principal objectif est de définir une telle méthodologie applicable à des logiciels configurés dynamiquement, type de logiciel qu'on retrouve entre autres dans l'industrie avionique. La méthodologie développée se base sur l'extraction d'un graphe de flux de contrôle représentant le code source et l'utilisation de model checking pour vérifier diverses propriétés reliées aux fonctionnalités du logiciel. Chacune des étapes de la méthodologie est automatisée, ce qui lui confère un avantage très intéressant par rapport aux autres techniques de localisation de fonctionnalités existantes. Un second objectif des recherches présentées est d'appliquer cette méthodologie sur un système de gestion de vol provenant de l'industrie avionique. Par la suite, les résultats obtenus sont interprétés afin de déterminer la distribution des différentes fonctionnalités au sein du code source de ce logiciel. Cette distribution est présentée en termes de quantité de fichiers, de blocs de code et de lignes de code reliés à chaque fonctionnalité. La technique développée permet d'identifier le code relié à un ensemble de fonctionnalités du logiciel, ce qui serait utilisable dans une optique d'identification de produits logiciels. Les résultats obtenus peuvent donc être utilisés dans le cadre d'une réingénierie du logiciel et peuvent faciliter l'extraction d'un modèle de ligne de produits logiciels. La méthodologie présentée ici est, à notre connaissance, la première technique automatisée de localisation de fonctionnalités basées sur l'analyse statique. Les résultats obtenus suite à l'analyse du système de gestion de vol montrent que la localisation de fonctionnalités par analyse statique du code source est possible sous certaines conditions. Diverses améliorations, telles que le traitement des pointeurs de fonctions et l'analyse de la propagation des variables, pourraient éventuellement être appliquées à la méthodologie afin d'améliorer sa précision dans certains contextes.----------ABSTRACT Locating where software features are implemented in source code can be useful to program comprehension and software reengineering. In the avionics industry, reengineering is a hot topic since many software systems need to be modernized. However, this reengineering effort must preserve existing algorithms to allow their reuse. This thesis aims to support avionics software reengineering by using a feature location methodology based on static analysis of the source code. The main objective is to define such methodology applicable in dynamically configured software, a type of software sometimes found in the avionics industry. The methodology is based on the extraction of a control flow graph representing the source code and the use of model checking to verify properties related to each feature found in the software program. Each step of the methodology is automated, which provides an interesting advantage compared to other existing feature location approaches. A second objective of the researches presented in this thesis is to apply the developed methodology on a flight management system from the avionics industry. Results are then interpreted to obtain the system features' distribution over the source code. This distribution is presented by number of files, code blocks and lines of code related to each software feature. The developed methodology allows a user to obtain the source code related to a set of software features, which is information that could be used to identify software products. Thus, results can be used in the context of software reengineering and can facilitate the extraction of a software product line model. To the best our knowledge, the methodology presented here is the first automated feature location approach based solely on static analysis. Results from the analysis of the flight management system show that locating features using static analysis of the source code is possible under certain conditions. Some improvements, such as considering function pointers and the propagation of variables, could eventually be applied to our methodology to improve its precision in some contexts

G Suite For Education: Collaboration-Based Pedagogy

Comprend des références bibliographiques

« Dérapage » ou remise en cause de l’institution universitaire

Selon nous, Arnaud Mercier décrit avec beaucoup d’exactitude la transformation que subit aujourd’hui la figure du professeur universitaire. Cela dit, il faut poser la question du sens de la transformation de l’Université : s’agit-il d’un « dérapage » ou est-ce la notion même d’institution universitaire qui fait l’objet d’une remise en question ? L’institution universitaire suppose une dialectique entre formes objectives et subjectivité ; en ce sens, elle illustre au mieux la dynamique propre à la modernité. Or c’est précisément cette dialectique qui est remise en question par la soumission de l’Université à des processus qui lui sont externes, qui entendent substituer à cette dialectique la faculté d’adaptation à des contraintes indiscutables.In our opinion, Arnaud Mercier describes very acutely the new condition of the professor in the contemporary university. But we may ask the question: what is the meaning of this new condition? Should we talk of a slip-up? Or should we consider the possibility of a complete wipe out of the institution or of the idea of university? As this institution is based on a dialectic between objective forms and subjective freedom it may be considered as a milestone of modernity. This dialectic is precisely what is being threatened now, as the universities are more and more governed by external processes that call for professors to constantly adapt to constraints

L'utilisation des outils Google pour l’éducation en Sciences, lettres et arts (SLA)

Est-il possible de faire apprendre en collaborant à l’aide d’une technologie en constante évolution ? Voilà le pari que nous avons relevé. Les participants pourront expérimenter, d’une part, les aspects pédagogiques de l’utilisation de l’appareil Chromebook et des outils Google dans un programme et, d’autre part, l’intégration de ces outils dans la coordination du programme et dans la gestion départementale pour le partage de documents de travail et de la gestion des réunions

Médias sociaux, idéologie invisible et réel :pour une dialectique du concret

Cet article aborde les TIC, plus spécifiquement les médias socionumériques, dans une perspective critique. Nous soutenons que, pour aborder les TIC dans une perspective critique, il est nécessaire de réhabiliter un certain nombre de notions fondatrices de la tradition de la théorie critique, c’est-à-dire les concepts de totalité, d’idéologie, de dialectique, de fétichisme et d’aliénation. Au contraire des approches qui postulent que nous entrons dans l’ère de la fin des idéologies et de la représentation de la société comme totalité, nous avançons qu’une théorie critique des médias socionumériques se doit d’analyser leurs usages dans le contexte des transformations sociétales plus profondes qui ont cours au sein des sociétés capitalistes. Ces transformations, notamment la globalisation capitaliste, s’inscrivent dans une dynamique de totalisation, qui a entre autres été rendue possible grâce au déploiement des TIC. Selon nous, ce n’est que lorsque la technique aura réintégré le terrain idéologique qu’elle redeviendra sujette à débat et, de ce fait, réellement appropriable.This article discusses ICTs, specifically social media, from a critical perspective. We maintain that doing so necessitates the rehabilitation of certain foundational concepts such as dialectics, ideology, fetishism and alienation. In contrast to claims of the end of both ideology and of the representation of society as a totality, we posit that a critical theory of social media must analyze its uses in the context of profound social changes in capitalist societies. These transformations, including capitalist globalization, are constituents of a dynamic of totalization, which is made possible by the deployment of ICTs. In our view, it is only when technique is reintegrated with the ideological terrainthat it will be once again subject to debate and, therefore, truly appropriable.Este artículo aborda las TIC (Tecnologías de la Información y de la Comunicación), y más específicamente los medios de comunicación socio-digitales, bajo una perspectiva crítica. Para ello resulta necesario rehabilitar algunas nociones situadas en la tradición de la teoría crítica, como son los conceptos de totalidad, de ideología, de dialéctica, de fetichismo y de alienación. Al contrario de las teorías que estipulan que entramos en la era del fin de las ideologías y de la representación de la sociedad como una totalidad, se propone la idea de que una teoría crítica de los medios de comunicación socio-digitales debe analizar los usos de estos medios en el contexto de las transformaciones sociales más profundas que tienen lugar en el seno de la sociedad capitalista. Estas transformaciones, particularmente la globalización capitalista, se inscriben en una dinámica de totalización que ha sido posible gracias al despliegue de las TIC. Se concluye que únicamente cuando al lado de la técnica se considere el terreno ideológico y que por tanto la técnica sea objeto de debate nos encontraremos con una técnica que puede ser realmente apropiada

Mapping features to source code in dynamically configured avionics software

Mapping software features to the code that implements them is an important activity for program comprehension and software reengineering. In this paper, we present a novel automated approach to locate features in source code based on static analysis and model checking. This approach focuses on dynamically configured software in which the activation of specific features is controlled by configuration variables. The main advantages of a static approach to feature location are its affordability and applicability to large systems containing hundreds of features. Our methodology is applied to an industrial Flight Management System from the avionics industry. Results show that a static approach to feature mapping is feasible and can locate complex features whose implementation is spread across multiple files and functions

US Cosmic Visions: New Ideas in Dark Matter 2017: Community Report

This white paper summarizes the workshop "U.S. Cosmic Visions: New Ideas in Dark Matter" held at University of Maryland on March 23-25, 2017.Comment: 102 pages + reference